transitivity principle

См. также в других словарях:

• Arrow's impossibility theorem — In social choice theory, Arrow’s impossibility theorem, the General Possibility Theorem, or Arrow’s paradox, states that, when voters have three or more distinct alternatives (options), no voting system can convert the ranked preferences of… …   Wikipedia

• Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a …   Wikipedia

• Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… …   Wikipedia

• Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …   Wikipedia

• Existence (Philosophy of) 2 — Philosophy of existence 2 Sartre Thomas R.Flynn Born 21 June 1905, in Thiviers (Dordogne), Jean Paul Sartre was raised in the Parisian home of his widowed mother’s parents. After his mother’s remarriage, he spent several years with her and his… …   History of philosophy

• Slippery slope — In debate or rhetoric, the slippery slope is one of the classical informal fallacies. It suggests that an action will initiate a chain of events culminating in an undesirable event later without establishing or quantifying the relevant… …   Wikipedia

• Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia

• Algebra of sets — The algebra of sets develops and describes the basic properties and laws of sets, the set theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures …   Wikipedia

• Potentially all pairwise rankings of all possible alternatives — (PAPRIKA) is a method for multi criteria decision making (MCDM) or conjoint analysis based on decision makers’ preferences as expressed using pairwise rankings of alternatives.[1][2] The PAPRIKA method – implemented via a specific type of… …   Wikipedia

• formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

• set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …   Universalium